/*
 *	kernel/system/main.c
 *	
 *	created by ChenJie at 2007.10.13
 *
 *	last modified at 2007.10.13
 *
 */

#include <cosstd.h>

void initialize(void);
void system_task(void)
{
	struct msg_struct m;
	initialize();
	while(TRUE){
	   receive(ANY_PROC, &m);
	   switch(m.type){
	   case SENDREC:
	   	send(m.source, &m);
	   	break;
	   default:
	   	printf("SYSTEM: unknown request %lu, from %ld \n\r", m.type, m.source);
	   }
	}
}

void initialize(void)
{
}
